Bibliografía (13 obras)
Algebra, meaning, and computation
2006
Art and the brain II
2000
Software engineering with OBJ
Art and the Brain (Journal of Consciousness Studies: Controversies in Science & the Humanities)
1999
Algebraic semantics of imperative programs
1996
Requirements engineering
1994
A categorical manifesto
1989
What is unification?
1988
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
1987
A study in the foundations of programming methodology
1986
Crew communications as a factor in aviation accidents
Linguistic methodology for the analysis of aviation accidents
1983
Categories of fuzzy sets
1969
