00326nam a2200121Ia 4500082002100000100002200021245005300043260003400096300002000130490004400150500000500194700000500199  a518.542bG618.AL  aGoldblatt, Robert  aAxiomatising the logic of computer programmingb  aBerlinbSpringer-Verlagc1982  axi, 304p. Index  aLecture notes in Computer Sciencev 130  a  a