A System for Heuristic Modifications on PLA - Specifications. - Reinhard Rauscher; Andreas Krause 007 (EUROMICRO, 1996)