Collard, Jean-Fran�ois.
Reasoning about program transformations imperative programming and flow of data - New York Springer 2003. - xviii, 237 p.
0387953914 (alk. paper)
Programming languages (Electronic computers)
681.3 COL
Reasoning about program transformations imperative programming and flow of data - New York Springer 2003. - xviii, 237 p.
0387953914 (alk. paper)
Programming languages (Electronic computers)
681.3 COL