Chapters 1 and 2 appeared in SIGPLAN Notices, Volume 23, September 1988. This came out about 2 weeks ago. -------