TY  - BOOK
AU  - Kozen, Dexter Ed.,
TI  - Mathematics of Program Construction: 7th international conference, MPC 2004 Stirling, Scotland, UK, July 2004: proceedings
SN  - 3540223800
CY  - Berlin
ER  -