Discussions

---

Table of Contents

• Refinements (2003)
• Logician in the Land of OS (2001)
• High Level System Design and Analysis (1999)
• Why Use ASMs? (1995)
• Systems Level Specifications (1997)
• An Overview Article (1997)