A coalgebraic presentation of structured transition systems (2001)

by A Corradini, M Große-Rhode, R Heckel
Venue:Theoretical Computer Science