L. C. · R. C. · R. L · Robert L. Constable
| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science) | 978-3-540-11492-5 (3-540-11492-0) | 1982 | |
| Implementing Mathematics With the Nuprl Proof Development System | 978-0-13-451832-9 (0-13-451832-2) | 1986 | |
| Introduction to the Pl/Cv2 Programming Logic | 978-0-387-11492-7 (0-387-11492-0) | 1982 |