John Derrick

Refinement in Z and Object-Z

2015

The Office Equipment Adviser

1995

A handbook of new office technology

1986

What to buy for business

1982

The word processing handbook

1984

Telecommunications, a businessman's guide

1983

Refinement

2019

Integrated formal methods

2004

Refinement in Z and ObjectZ

2013

New office technology

1982

Modern World History for AQA B

2001

Micro- and mini-computers for business

1982

Integrated Formal Methods

2012

Hana Highway Mile by Mile

2007

Hana Highway Mile by Mile - the Road to Hana and Beyond

2010

Formal Techniques for Networked and Distributed Systems - FORTE 2007

2007

Boo to Billable Hours

2007

Abstract State Machines, Alloy, B, VDM, and Z

2012