International Symposium of Formal Methods Europe (3rd 1996 Oxford, England)