William C. Carter, William H. Joyner Jr., Daniel Brand: Microprogram verification considered necessary. AFIPS National Computer Conference 1978: 657-664