Formalising a model of the -calculus in HOL-ST (1994)

by S Agerholm