David Luckham

• The Power of Events
• Programming with Specifications