1
by Plotkin, G.
Published 2000
MIT Press