Tuning algebraic specifications by type merging

Alfred Laut, Helmuth Partsch. Tuning algebraic specifications by type merging. In Mariangiola Dezani-Ciancaglini, Ugo Montanari, editors, International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings. Volume 137 of Lecture Notes in Computer Science, pages 283-304, Springer, 1982.

Authors

Alfred Laut

This author has not been identified. Look up 'Alfred Laut' in Google

Helmuth Partsch

This author has not been identified. Look up 'Helmuth Partsch' in Google