Joseph Harris Green

• Program analysis--a problem in man-computer communication