Daniel D. Gajski Duncan H. Lawrie David J. Kuck Ahmed H. Sameh 306-310 1984 conf/compcon/1984 COMPCON db/conf/compcon/compcon1984.html#GajskiLKS84