Bernard Berthomieu Thierry Le Sergent Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS. 89-104 1994 conf/esop/1994 ESOP db/conf/esop/esop94.html#BerthomieuS94 http://dx.doi.org/10.1007/3-540-57880-3_6