A Specification Language
Ib Sørensen
Address
London‚ UK‚ UK
Book Title
Program Specification‚ Proceedings of a Workshop
ISBN
3−540−11490−4
Pages
381–401
Publisher
Springer−Verlag
Year
1982
Ib Sørensen