Polak, W. (1981) Compiler Specification and Verification [cd], Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 124). doi:10.1007/3-540-10886-6.
Chicago Manual of Style 17th edition (full note)Polak, Wolfgang. Compiler Specification and Verification. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 124. Berlin, Heidelberg: Springer-Verlag, [1981?], Berlin, Heidelberg: Springer-Verlag, [1981?]. https://doi.org/10.1007/3-540-10886-6.
American Psychological Association 7th editionPolak, W. (ca. 1981). Compiler Specification and Verification [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-10886-6
Modern Language Association 9th editionPolak, W. „Compiler Specification and Verification“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1981, https://doi.org/10.1007/3-540-10886-6.
ISO-690 (author-date, Deutsch)POLAK, Wolfgang, 1981. Compiler Specification and Verification. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 124. ISBN 9783540387954