Citação APA (7ª ed.)
Eijk, P. H. v., Vissers, C. A., & Díaz, M. The Formal Description Technique Lotos: Results of the ESPRIT/SEDOS Project. North-Holland : Elsevier.
Citação do estilo Chicago (17ª ed.)
Eijk, Peter H.J. van, Chris A. Vissers, e Michel Díaz. The Formal Description Technique Lotos: Results of the ESPRIT/SEDOS Project. Amsterdam, Holanda: North-Holland : Elsevier.
Citação MLA (9ª ed.)
Eijk, Peter H.J. van, et al. The Formal Description Technique Lotos: Results of the ESPRIT/SEDOS Project. North-Holland : Elsevier.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.