Semantica version 1.0 (for NEXTSTEP) - Larson, Richard K. (The MIT Press, 1997)
Supported in part by the National Science Foundations