Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

COLLARD, Jean-François, 2003. Reasoning about program transformations : imperative programming and flow of data. New York [u.a.]: Springer. ISBN 0387953914.

Elsevier - Harvard (with titles)

Collard, J.-F., 2003. Reasoning about program transformations : imperative programming and flow of data. Springer, New York [u.a.].

American Psychological Association 7th edition

Collard, J.-F. (ca. 2003). Reasoning about program transformations : imperative programming and flow of data [Book]. Springer.

Springer - Basic (author-date)

Collard J-F (2003) Reasoning about program transformations : imperative programming and flow of data. Springer, New York [u.a.]

Juristische Zitierweise (Stüber) (Deutsch)

Collard, Jean-François, Reasoning about program transformations : imperative programming and flow of data, New York [u.a.] 2003.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.