Berthomieu, Sergent, 1994. Programming with behaviors in an ML framework — The syntax and semantics of LCS, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-57880-3_6