On hierarchies of abstract data types Martin WirsingPeter PepperManfred Broy OriginalPaper Pages: 1 - 33
General predicate transformer and the semantics of a programming language with go to statement Jifeng He OriginalPaper Pages: 35 - 57
A sound and relatively complete Hoare-logic for a language with higher type procedures Werner DammBernhard Josko OriginalPaper Pages: 59 - 101
On sets of Boolean n-vectors with all k-projections surjective Ashok K. ChandraLawrence T. KouShmuel Zaks OriginalPaper Pages: 103 - 111