Leeuwen (editor), Handbook of theoretical computer science, volume (1990)

by Jan van
Venue:ISBN 0–444–88071–2. MR 92d:68001