Unifying Theories of Programming and Formal Engineering Methods 3 contributors - Paperback £44.99 Find out more