Petrie, C.J. Jr.; D.M. Russinoff, D.D. Steiner, and N. Ballou. Proteus 2: System description. Technical Report AI-136-87, MCC, May 1987

Languages mentioned

• PROTEUS {1987}