on Programming Languages and Systems (1988)

by B Nordstrom, K Peterson, J Smith
Venue:in Proc. 12-th ACM Symp. on Principles of Programming Languages