Title: The B-method (Cornerstones of Computing)
First published: October 19, 2001
Subjects: B method (Computer science)