Finite Semantics for Program Testing

J. Horejs. Finite Semantics for Program Testing. In ICSE. pages 433-441, 1979.