Fiadeiro and Amilcar Sernadas. Structuring theories on consequence (1988)

by L José
Venue:In Donald Sannella and Andrzej Tarlecki, editors, Recent Trends in Data Type Specification, volume 332 of Lecture Notes in Computer Science