Brown, D. F. and Watt, D. A. Sort inference in action semantics. Research report, Department of Computing Science, University of Glasgow, Scotland, 1995

Languages mentioned

• PSP {1981}