gallery theorems and algorithms (1987)