Zooming in, zooming out - Blackburn, Patrick 1959-; Rijke, Maarten de (Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS, 1994)