Research Monographs in Parallel and Distributed Computing, Pitman in association with (1991)

by P Cousot, R Cousot