We wish to thank Philippe Bridon, Gilbert Harrus, Paris Kanellakis, Philippe Richard, and Fernando Velez for suggestions and comments on earlier drafts of the paper. David Maier's work was partially supported by NSF award IST 83-51730, co-sponsored by Tektronix Foundation, Intel, Digital Equipment, Servio Logic, Mentor Graphics and Xerox.