ACM Transactions on Programming Languages and Systems September 1994: Vol 16, Nr 5 Short Communications Polymorphic Typre Inference and Abstract Data Types Strictness Optimization for Graph Reduction Machines Articles Model Checking and Abstraction