Brown, D. F. and D. A. Watt. Sort inference in the ACTRESS compiler generator pp81-98

Mosses P.D. (1994) Mosses P.D. (editor), Proceedings of the First International Workshop on Action Semantics, Edinburgh. BRICS Notes Series, NS-94-1,  

Languages mentioned ACTRESS {1989}