HOL done right. Unpublished draft (1996)

by J Harrison