Descriptional complexity for programs - Trum, Peter (1983)