D. Bjorner
发表
D. Bjorner,
D. Bjørner,
1987,
ICSE '87.
C. M. Acebedo,
D. Bjorner,
A. P. Azcarraga,
1995
.