Report FAA-RD (series). 73-70. Progress report verification in automated oceanic air traffic control system, final report; [by] Frank V. Giallanza, Charles P. Giallanza, James C. Brown.