프로그래밍論理技法 - 정화자 (敎學社, 1985)