APA citiranje

(2003). Reasoning about program transformations imperative programming and flow of data / Jean-François Collard. [electronic resource].

Chicago Style (17th ed.) Citation

Reasoning About Program Transformations Imperative Programming and Flow of Data / Jean-François Collard. [electronic Resource]. 2003.

MLA citiranje

Reasoning About Program Transformations Imperative Programming and Flow of Data / Jean-François Collard. [electronic Resource]. 2003.