A completeness theorem in the modal logic of programs
Tom 9 / 1982
Banach Center Publications 9 (1982), 31-46
DOI: 10.4064/-9-1-31-46
