Coalgebraic semantics of an imperative class based language (2003)

by F Honsell, M Lenisa
Venue:Dipartimento di Matematica e Infomatica, Universita’ di