copatterns. A repository for a project concerning copatterns.
rEBON. The rEBON project is reviving the EBON project started to Joseph Kiniry some ten years ago. See website for further info.
BON-ES-Report. A report describing the work of integrating textual BON into EiffelStudio
