Building specifications in an arbitrary institution (1988)

by D Sanella, A Tarlecki
Venue:Information and Control