Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations.

Donald Sannella, Andrzej Tarlecki

Browse the full ICALP paper archive.