Roger Duke

• Formal Object Oriented Specification Using Object-Z
• Daily Readings - John Bunyan