H. Goguen

发表

A. Compagnoni, H. Goguen, 1997 .

H. Goguen, 2005 .

Adriana B. Compagnoni, Healfdene Goguen, A. Compagnoni, 2006, Mathematical Structures in Computer Science.

Adriana B. Compagnoni, Healfdene Goguen, A. Compagnoni, 2003, Inf. Comput..

Adriana B. Compagnoni, Healfdene Goguen, A. Compagnoni, 1999, CSL.

Eric Cheung, Pamela Zave, G. W. Bond, 2005, CBSE'05.

Pamela Zave, Thomas M. Smith, Healfdene Goguen, 2004, Comput. Networks.

Jean Goubault-Larrecq, Healfdene Goguen, H. Goguen, 2000, Mathematical Structures in Computer Science.

Rod M. Burstall, Healfdene Goguen, Richard Brooksby, 1999, TYPES.

Zhaohui Luo, Healfdene Goguen, H. Goguen, 1993 .

Conor McBride, James McKinna, Healfdene Goguen, 2004, TYPES.