A. A. G. Requicha and R. B. Tilove, "Mathematical foundations of constructive solid geometry: General topology of closed regular sets", Tech. Memo. No. 27, Production Automation Project, Univ. of Rochester, March 1978

Languages mentioned

• PADL-1 {1978}