A. Tarlecki

Mathematical Foundations of Computer Science, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991
Foundations of Algebraic Specification and Formal Program Development