"SEAMAIL" 2002/5 に、
FormalApproachの中心人物で VDMの開発者でもある
Bjorner先生の論文が載っていたのであげ。