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

by Cindy Kong, Perry Alexander, Catherine Menon
Venue:JOURNAL OF UNIVERSAL COMPUTER SCIENCE