Extraction of Strong Typing Laws from Action Semantics Definitions - Kyung-Goo Doh; David A. Schmidt (ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, 1992)