Plotkin 75 ("CBN, CBV, & LC") is finally available online, as well as "LCF Considered as a PL" (77): http://homepages.inf.ed.ac.uk/gdp/publications/ Dave