Speci in an arbitrary institution with symbols (2000)

by Till Mossakowski
Venue:In Proceedings, WADT'99