Other links

• CafeOBJ Home Page in IPA
• The UCSD Library Group of the CafeOBJ Project
  (see also CafeOBJ Project Press Release by J. Goguen)
• Prof. Dorel Lucanu's home page