Partsch, Helmut Steinbruggen, R. Program Trans for mation Systems - 199-236 p. Subjects--Topical Terms: Trans for mational ProgrammingTrans for mationVerification