Added a long example and a couple of discussion items. Marc Snir Michael Faiman and Saburo Muroga Professor Department of Computer Science, University of Illinois at Urbana Champaign 4323 Siebel Center, 201 N Goodwin, IL 61801 Tel (217) 244 6568 Web http://www.cs.uiuc.edu/homes/snir