Constable, Robert L.; and Johnson, Scott D. (Cornell Univ., Ithaca, N.Y.) A PL/CV precis. [in Conference record of the 6th annual ACM symposium on principles of programming languages (San Antonio, Texas Jan. 29-31, 1979), ACM, New York, 1979, 7-20.

Languages mentioned

• PL/CV {1975} Verifying logical dialect of PL/CS