1. Aho, A.V., Sethi, R., Ullman, J.D. 1986. Compilers, principles, techniques and tools. Chapter 6, Type Checking. Addison-Wesley.
2. Lect Notes Comput Sci;D. Blonstein,1996
3. DOME guide.
http://www.htc.honeywell.com/dome/
, Honeywell Technology Center. Honeywell, 1999, version 5.2.1
4. Lect Notes Comput Sci;H. Dorr,1995
5. Lect Notes Comput Sci;J. Ebert,1997