Computational and constructive design theory - Wallis, W. D. (Mathematics and its Applications / Managing editor: M. Hazewinkel, 1996)