PROGRAMMING LOGIC - Constable, Robert L.; O'Donnell, Michael J. (Cambridge Winthrop Pub., 1978)
References : P. 370-381
Keywords: Pl/Cv (Computer Program Language); Computer Programy -- Testing; Logic, Symbolic And Mathematical