Historical papers
There are two historical papers that summarize the developments leading to Cartesian programming:
-
From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming,
by John Plaice, Blanca Mancilla and Gabriel Ditu. -
Possible Worlds Versioning
by Blanca Mancilla and John Plaice.
TransLucid and Cartesian Programming 
Reply