Joseph A. Goguen
发表
Joseph A. Goguen,
Rod M. Burstall,
J. Goguen,
1992,
JACM.
José Meseguer,
Joseph A. Goguen,
J. Goguen,
1987,
TAPSOFT, Vol.1.