The HOL-UNITY Verification System. - Flemming Andersen; Ulla Binau; Karsten Nyblad; Kim Dam Petersen; Jimmi S. Pettersson (TAPSOFT, 1995)