Carroll Morgan, Trevor Vickers
On the Refinement Calculus - 1992 - Springer London 1992 - Formal Approaches to Computing and Information Technology (FACIT) .
9781447132738
Mathematics and Statistics
On the Refinement Calculus - 1992 - Springer London 1992 - Formal Approaches to Computing and Information Technology (FACIT) .
9781447132738
Mathematics and Statistics