Computability of design (Wiley, 1987)