Introducing OBJ3 (1988)

by Joseph A Goguen, Timothy Winkler