1
by Goguen, Joseph
Published 1996
MIT Press