Theory and Formal Methods 1993 Imperial College Dep... Paperback Published 24 Sep 1993 Save $6.42 RRP $62.44 $56.02 In Stock