Formal specification and software development

Introduction to PASCAL

Jim Welsh

Software development : a rigorous approach

Cliff B. Jones

The craft of programming

John C. Reynolds

Formal specification and software development

Dines Bjørner (1937-)

Formal specification and software development

Dines Bjørner

Applied assembly language on the BBC microcomputer

Edward Ball

Micro-PROLOG : programming in Logic

Keith L. Clark

Programming from first principles

Richard Bornat

Programming in occam

Geraint Jones (f. 1957)

Introduction to functional programming

Richard Bird