(2003). Reasoning about program transformations: Imperative programming and flow of data / Jean-François Collard.
Cita Chicago (17th ed.)Reasoning About Program Transformations: Imperative Programming and Flow of Data / Jean-François Collard. 2003.
Cita MLA (9th ed.)Reasoning About Program Transformations: Imperative Programming and Flow of Data / Jean-François Collard. 2003.
Atenció: Aquestes cites poden no estar 100% correctes.