Lionel Van Aertryck
发表
Daniel Le Métayer,
Marc V. Benveniste,
Lionel Van Aertryck,
1997,
First IEEE International Conference on Formal Engineering Methods.
Thomas Jensen,
Lionel Van Aertryck,
2002
.