Title: Design and specification of a program specification language for engineering applications
First published: 1992