Yoram Haddad
发表
Andrzej Duda,
Gilbert Harrus,
Guy Bernard,
1987,
ICDCS.
Andrzej Duda,
Gilbert Harrus,
Guy Bernard,
1989,
IEEE Trans. Software Eng..