Report on the UCD Microcoded Viper Verification Project. - Tej Arora; Tony Leung; Karl N. Levitt; E. Thomas Schubert; Phillip J. Windley (HUG, 1993)