John Wordsworth: Getting the best from formal methods. Inf. Softw. Technol. 41(14): 1027-1032 (1999)