From 64993394b2cafa15d87c51265dd5febef6f783e0 Mon Sep 17 00:00:00 2001 From: Alexander Fefelov Date: Sat, 28 Dec 2013 02:24:16 +0400 Subject: [PATCH] Added "The Z Notation: A Reference Manual, Second Edition" --- free-programming-books.md | 1 + 1 file changed, 1 insertion(+) diff --git a/free-programming-books.md b/free-programming-books.md index f5a115688..34885d73d 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -392,6 +392,7 @@ * [I Am a Bug](http://www.amibug.com/iamabug/p01.html) * [Learn to Program](http://pine.fm/LearnToProgram/) * [The Quest for Artificial Intelligence: A History of Ideas and Achievements](http://ai.stanford.edu/~nilsson/QAI/qai.pdf) - Nils J. Nilsson +* [The Z Notation: A Reference Manual, Second Edition](http://spivey.oriel.ox.ac.uk/~mike/zrm/zrm.pdf) - J. M. Spivey * [Foundations of Programming](http://codebetter.com/files/folders/codebetter_downloads/entry179694.aspx) * [Communicating Sequential Processes](http://www.usingcsp.com/cspbook.pdf) (PDF) by Tony Hoare * [Come, Let's Play: Scenario-Based Programming Using Live Sequence Charts](http://www.scribd.com/doc/175241338/Come-Let-s-Play)