DALEN, Dirk und BEZEM, Marc, 1997. Computer Science Logic : 10 th International Workshop, CSL ’96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers. [cd]. 1997. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 1258. ISBN 9783540692010.
Elsevier - Harvard (with titles)Dalen, D., Bezem, M., 1997. Computer Science Logic : 10 th International Workshop, CSL ’96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-63172-0
American Psychological Association 7th editionDalen, D., & Bezem, M. (ca. 1997). Computer Science Logic : 10 th International Workshop, CSL ’96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-63172-0
Springer - Basic (author-date)Dalen D, Bezem M (1997) Computer Science Logic : 10 th International Workshop, CSL ’96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Dalen, Dirk/ Bezem, Marc, Computer Science Logic : 10 th International Workshop, CSL ’96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers, Lecture Notes in Computer Science 1997, .