Giovanna Di Marzo Serugendo, Nicolas Guelfi, & The Pennsylvania State University Cite Seer X Archives. (1997). Formal Development of Java Programs. http://lglwww.epfl.ch/Team/NG/Publis/all_ps/97_EPFL_TR97_248.ps.Gz.
ISO-690 (author-date, English)GIOVANNA DI MARZO SERUGENDO, NICOLAS GUELFI und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 1997. Formal Development of Java Programs. http://lglwww.epfl.ch/Team/NG/Publis/all_ps/97_EPFL_TR97_248.ps.gz. 1 Januar 1997.
Modern Language Association 9th editionGiovanna Di Marzo Serugendo, Nicolas Guelfi, und The Pennsylvania State University Cite Seer X Archives. „Formal Development of Java Programs“. http://lglwww.epfl.ch/Team/NG/Publis/all_ps/97_EPFL_TR97_248.ps.Gz, Januar 1997.
Mohr Siebeck - Recht (Deutsch - Österreich)Giovanna Di Marzo Serugendo/Nicolas Guelfi/The Pennsylvania State University Cite Seer X Archives: Formal Development of Java Programs, http://lglwww.epfl.ch/Team/NG/Publis/all_ps/97_EPFL_TR97_248.ps.gz 1997,
Emerald - HarvardGiovanna Di Marzo Serugendo, Nicolas Guelfi und The Pennsylvania State University Cite Seer X Archives. (1997), „Formal Development of Java Programs“, http://lglwww.epfl.ch/Team/NG/Publis/all_ps/97_EPFL_TR97_248.ps.Gz.