APA (7th ed.) Citation

Collard, J. (2003). Reasoning about program transformations: Imperative programming and flow of data. Springer.

Chicago Style (17th ed.) Citation

Collard, Jean-François. Reasoning About Program Transformations: Imperative Programming and Flow of Data. New York: Springer, 2003.

MLA (9th ed.) Citation

Collard, Jean-François. Reasoning About Program Transformations: Imperative Programming and Flow of Data. Springer, 2003.