Transforming occam programs

Bibliographic Details
Main Authors: Roscoe, A, Goldsmith, M
Format: Conference item
Published: 1988