Terwilliger, Robert "PK/C++: an Object-Oriented, Logic-Based, Executable Specification Language" Department of Computer Science Technical Report CU-CS-400-88, University of Colorado at Boulder 1988

Languages mentioned

• PK/C++ {1988}