Shaping theory and practice - David Langford; Arkady Retik (Taylor and Francis, 1996)