Models of LCF (1973)

by R Milner