Constructive Methods of Program Design

Clairvoyant: a synthesis system for production-based specification

Readings in hardware/software co-design

Systematic Program Development

IEEE Transactions on Software Engineering

Basic program design - the Jackson way: An example

ACM '77 Proceedings of the 1977 annual conference

JSP in perspective

Software pioneers

Teaching Software Engineering in a Compiler Project Course

Journal on Educational Resources in Computing (JERIC)

Reinvigorating the software engineering curriculum with Jackson's methods and ideas

ACM SIGCSE Bulletin

A wiki-based approach to method tailoring

Proceedings of the 3rd International Conference on the Pragmatic Web: Innovating the Interactive Society

Problem frames and software engineering

Information and Software Technology

Clairvoyant: a synthesis system for production-based specification

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Aspects of abstraction in software development

Software and Systems Modeling (SoSyM)