LOGICAL DESIGN OF AUTOMATION SYSTEMS - FRIEDMAN, SANDER B (NEWJERSCY PRENTICE HALL, 1990)