Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language (2003)

by C Kong, P Alexander, C Menon
Venue:Journal of Universal Computer Science