Small Specification Exercises
Richard S. Bird
Book Title
Beauty is our Business
Editor
W. H. J. Feijen and A. J. M. van Gasteren and D. Gries and J. Misra
Pages
36–43
Publisher
Springer−Verlag
Year
1990
Richard S. Bird