Joseph A. Goguen
J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright.
Initial algebra semantics and continuous algebras.
Journal of the ACM
, 24(1):68-95, January 1977.
Citations.
Joseph A. Goguen and Rod M. Burstall.
Institutions: Abstract model theory for specification and programming.
Journal of the ACM
, 39(1):95-146, January 1992.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database