Visser J, Oliveira JN, Barbosa LS, Ferreira JF, Mendes A.? 2005.??Camila Revival: VDM meets Haskell. Proceedings of Overture Workshop .