Programming with behaviours in an ML framework: the syntax and semantics of LCS (1994)

by Bernard Berthomieu, Thierry Le Sergent
Venue:In Programming Languages and Systems: ESoP 1994, number 788 in LNCS