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