583	 A Redundancy Check for ALGOL Programs
