On the refinement calculus
By: edited by Carroll Morgan and Trevor Vickers ; [written by] Carroll Morgan ... [et al.].
Contributors: Morgan, Carroll, 1952-; Vickers, Trevor, 1959-
Series: Formal approaches to computing and information technology
Publisher: Springer-Verlag
Published: 1992
Place of publication: London; New York
Language: eng
Number of pages: 159
Subjects: Structured programming.; Calculus.
Notes: Includes bibliographical references (p. 155-158).