%Aigaion2 BibTeX export from Peter D Mosses
%Friday 25 May 2012 02:19:40 AM

@ARTICLE{Mosses2010VSP,
    author = {Mosses, Peter D.},
     title = {{VDM} Semantics of Programming Languages: Combinators and Monads},
   journal = {Formal Aspects Comput.},
    volume = {23},
      year = {2011},
     pages = {221-238},
      note = {Revised and extended version of \cite{Mosses2007VSP}},
       doi = {10.1007/s00165-009-0145-4}
}