IEEE Software Engineering FAA Magazine Microcode Compiler May 1981 051218nonrh