Towards a Theory of Specifications, Programs and Proofs (1995)

by Nora Szasz
Venue:In Proceedings of the 7th. Nordic Workshop on Programming Theory, PMG report 86, Goteborg