형식 의미론 입문 - 문귀선 (한성대학교 출판부, 2011)