Specification in an arbitrary institution with symbols (2000)

by T Mossakowski
Venue:Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT’99