Algebraic Specification and Proof of Properties of a Mail Service
C.A.R. Hoare and J. He
Book Title
IFIP WG 2.1 Working Conference on Program Specification and Transformations‚ Bad−Tölz‚ W. Germany 15–17 April
Editor
L. Meertens
Publisher
North−Holland Publishers
Year
1986