Michael A. Jackson

Deriving Specifications for Systems That Are Connected to the Physical World

Cliff B. Jones, Ian J. Hayes, Michael A. Jackson, 2007, Formal Methods and Hybrid Real-Time Systems.

Constructive Methods Of Program Design (Reprint)

Michael A. Jackson, 1976, Software Pioneers.

JSP in Perspective

Michael A. Jackson, 2002, Software Pioneers.

Problem Frames - Analysing and Structuring Software Development Problems

Michael A. Jackson, M. Jackson, 2000 .

Software requirements and specifications - a lexicon of practice, principles and prejudices

Michael A. Jackson, M. Jackson, 1995 .

Determining the Specification of a Control System from That of Its Environment

Cliff B. Jones, Ian J. Hayes, Michael A. Jackson, 2003, FME.