Design, Specification and Verification of Interactive Systems ’95 2 contributors - Paperback £76.50 Find out more