Formal Specification Books

Algebraic Specification

• authors: Bergstra, Heering, Klint eds.
• date: 1989
• borrow @ archive.org

.

Language Prototyping: an Algebraic Specification Approach

• authors: van Deursen, Heering, Klint eds.
• date: 1996
• borrow @ archive.org

.

The Essence of Z

• authors: Ed Currie
• date: 1999
• borrow @ archive.org

.

Introduction to Z and Discrete Methods

• authors: Darrel Ince
• date: 1992
• borrow @ archive.org

.

Understanding Z

• subtitle: a specification language and its formal semantics
• authors: J. M. Spivey
• date: 1988
• borrow @ archive.org

.

Program specification and transformation

• subtitle: proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986
• authors: Eds.
• date: 1986
• borrow @ archive.org

Conference proceedings. Maybe more "Program Generation" than "Specification".

Semantics, applications, and implementation of program generation

• subtitle: second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings
• authors: Eds.
• date: 2001
• online @ archive.org

Conference proceedings. Maybe more "Program Generation" than "Specification".