Constructing and verifying typed processes. Unpublished (1993)

by S Abramsky, S Gay, R Nagarajan