SpringerLink (Online service) & Collard, J. (2003). Reasoning About Program Transformations: Imperative Programming and Flow of Data. Springer New York.
Chicago Style (17th ed.) CitationSpringerLink (Online service) and Jean-François Collard. Reasoning About Program Transformations: Imperative Programming and Flow of Data. New York, NY: Springer New York, 2003.
MLA (8th ed.) CitationSpringerLink (Online service) and Jean-François Collard. Reasoning About Program Transformations: Imperative Programming and Flow of Data. Springer New York, 2003.
Warning: These citations may not always be 100% accurate.
