The UNWIND Library. Manual part of the HOL system (1988)

by D Sheperd Melham, A Boulton