(→Tools) |
No edit summary |
||
| Line 1: | Line 1: | ||
__NOTOC__ | |||
== Books == | == 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://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) | ||