1. Initial algebra semantics and continuous algebras;J Goguen;Journal of the ACM,1977
2. Software engineering with OBJ: Algebraic specification in action;J Goguen;Ch. Introducing OBJ,2000
3. CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification;R Diaconescu,1998
4. Abstract syntax and variable binding;M Fiore;Proceedings. 14 th Symposium on Logic in Computer Science,1999