An Introduction to Trellis/Owl, (1986)

by C Schaffert
Venue:ACM Sigplan Notices.