DÍAZ, Josep (Hrsg.). [book]. 1981. Berlin [u.a.]: Springer. Lecture notes in computer science, 107. ISBN 0387106995.
Elsevier - Harvard (with titles)Díaz, J. (Hrsg.), 1981. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings. Lecture notes in computer science, Lecture notes in computer science.
American Psychological Association 7th editionDíaz, J. (Hrsg.). (ca. 1981). Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings [Book]. In Lecture notes in computer science. Springer.
Springer - Basic (author-date)Díaz J (Hrsg.) (1981) Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings. Lecture notes in computer science
Juristische Zitierweise (Stüber) (Deutsch)Díaz, Josep (Hrsg.), Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings, Lecture notes in computer science 1981, .