TY  - JOUR
ID  - Mosses2010VSP
T1  - {VDM} Semantics of Programming Languages: Combinators and Monads
A1  - Mosses, Peter D.
JA  - Formal Aspects Comput.
Y1  - 2011
VL  - 23
SP  - 221
EP  - 238
N1  - Revised and extended version of \cite{Mosses2007VSP}
M2  - doi: 10.1007/s00165-009-0145-4
ER  -