Gerd Neu­ge­bauer and Uwe Petermann. In­te­gra­ting Theo­ries into ProCom. In Work­shop at CADE’94, 1994.