BACK, Ralph-Johan und WRIGHT, Joakim von, 1998. Refinement calculus : a systematic introduction. New York [u.a.]: Springer. ISBN 0387984178.
Elsevier - Harvard (with titles)Back, R.-J., Wright, J. von, 1998. Refinement calculus : a systematic introduction, Graduate texts in computer science. Springer, New York [u.a.].
American Psychological Association 7th editionBack, R.-J., & Wright, J. von. (ca. 1998). Refinement calculus : a systematic introduction [Book]. In Graduate texts in computer science. Springer.
Springer - Basic (author-date)Back R-J, Wright J von (1998) Refinement calculus : a systematic introduction. Springer, New York [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Back, Ralph-Johan/ Wright, Joakim von, Refinement calculus : a systematic introduction, New York [u.a.] 1998.
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.