The B Language and Method: A guide to Practical Formal Development. Formal Appoaches to Computing and Information Technology (1996)

by Kevin Lano