Relating CASL with other speci languages: the institution level (2002)

by T Mossakowski
Venue:Theoretical Computer Science