The B-Book Assigning Programs to Meanings

The definitive book on the B Method; essential for all working in formal methods and safety-critical software.