Domains. The "Pisa" notes. Available from http://www.dcs.ed.ac.uk/home/gdp (1983)

by G Plotkin