Institutions: An Abstract Framework for Formal Specification (1999)

by Andrzej Tarlecki
Venue:In [2], chapter 4