Kyung-Goo Doh David A. Schmidt Extraction of Strong Typing Laws from Action Semantics Definitions. 151-166 1992 conf/esop/1992 ESOP db/conf/esop/esop92.html#DohS92 http://dx.doi.org/10.1007/3-540-55253-7_9