Revision as of 18:32, 11 February 2010 by Michael Leuschel(talk | contribs)(Created page with '== Books == * [http://www.jpbowen.com/publications/thes-b.html The B-Book: Assigning programs to meanings, by Jean-Raymond Abrial] (link is to a review by Jonathan Bowen) * [http…')