Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
들어가며
1장 술어 논리
2장 단순 명령형 언어
3장 명세와 그 증명