Logic and design - Barrat (George Godwin, 1980)