On the refinement calculus
By: edited by Carroll Morgan and Trevor Vickers.
Contributors: Morgan, Carroll, 1952-; Vickers, Trevor.
Series: Formal approaches to computing and information technology series; FACIT
Publisher: Springer-Verlag
Published: 1994
Place of publication: London
Language: eng
Number of pages: 159