Algorithms for fast evaluation of Boolean expressions Yuri BreitbartAllen Reiter OriginalPaper Pages: 107 - 116
The verification and synthesis of data structures Jay SpitzenBen Wegbreit OriginalPaper Pages: 127 - 144
Automatic program verification I: A logical basis and its implementation Shigeru IgarashiRalph L. LondonDavid C. Luckham OriginalPaper Pages: 145 - 182