ACM Computing Reviews 19(12) December 1978

ACM Computing Reviews  

Chapin, N. (1978) Chapin, N. review of Karp 1978 Cousot, P. (1978) Cousot, P. review of Grief 1977