Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
article
Ana Cavalcanti and David Déharbe and Marie-Claude Gaudel and Jim Woodcock. International Conference on Theoretical Aspects of Computing - ICTAC 2010, Sep 2010, Natal, Brazil. Springer, 6255, pp.44, 2010, Lecture Notes in Computer Science; Theoretical Aspects of Computing - ICTAC 2010. <10.1007/978-3-642-14808-8_3>
