The formalisation of software development using MASCOT. - Stephen Edward Paynter (1993)