Specifications in an arbitrary institution with symbols (1999)

by T Mossakowski
Venue:of Lecture Notes in Computer Science