一个抽象机库中B方法的研究
일개추상궤고중B방법적연구
The B -Method of research in an abstract machine data -base
저자의 최근 논문