The Application of Formal Methods for the Redevelopment of a Laboratory Information Management System. - Paul O. Collinson; Susan Oppert; Steven Hughes (SAFECOMP, 1993)