TY  - BOOK
AU  - Collard, Jean-Fran�ois.
TI  - Reasoning about program transformations: imperative programming and flow of data
SN  - 0387953914 (alk. paper)
CY  - New York
KW  - Programming languages (Electronic computers)
ER  -