The HOL window library. In The HOL System, volume Libraries (1991)

by J Grundy
Venue:Cambridge Research Center, Millers Yard, Mill Lane, Cambridge