C-Calculus: An Overview
1987 ◽
pp. 163-173
◽