도서명	객체 기반 병행 언어 ABCL을 위한 형 추론 시스템
저자	오주병
청구기호	004.01-오76ㄱ-TM
소장처	참고자료실
대출요구사항