@COMMENT { BibTex package created from National Library of Australia Catalogue http://catalogue.nla.gov.au } @Book{ nla.cat-vn4551121, author = { Foo, Norman Y. }, title = { Logical foundations of correctness / Norman Y. Foo }, isbn = { 0867586362 }, publisher = { Basser Dept of Computer Science, University of Sydney Sydney }, pages = { 22 p. ; }, year = { 1992 }, type = { Book }, language = { English }, life-dates = { 1992 - }, catalogue-url = { http://nla.gov.au/nla.cat-vn4551121 }, }