Logical design of automation systems - Friedman, Sander B., 1927- (Prentice Hall, 1990)