author : Brent T. Hailpern

Books

• Verifying Concurrent Processes Using Temporal Logic. 1982

Short works

• A Model for Object-Based Inheritance. 1987. (In Research Directions in Object-Oriented Programming )