John Plaice, Blanca Mancilla and Gabriel Ditu. From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming. Mathematics in Computer Science 2(1):37-61, 2008. DOI.
Blanca Mancilla and John Plaice. Possible Worlds Versioning. Mathematics in Computer Science 2(1):63-83, 2008. DOI.