Gerd Neu­ge­bauer und Uwe Petermann. Integrating Theories into ProCom. In Workshop at CADE’94, 1994.