Computability of design - Kalay, Yehuda E., ed (Wiley, 1987)