Wilco Koorn
发表
Jan Friso Groote,
Sebastiaan van Vlijmen,
Wilco Koorn,
1999,
Algebraic Specification in Action.
Wilco Koorn,
J. Rekers,
J. Rekers,
1991,
SIGP.