C. Rattray

• Specification and verification of concurrent systems
• A new English house