The B-Method of research in an abstract machine data-base

• 一个抽象机库中B方法的研究