ISO-690 (author-date, English)

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 edition

Back, 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.