TkWinHOL: A tool for doing window inference (1995)

by T Langbacka, R Ruksenas, J von Wright
Venue:in HOL. In Schubert et al