The B Language and Method: A Guide to Practical Formal Development (1996)

by K Lano