| |
In The Design Patterns Smalltalk Companion (1998)
|
| |
In Metapattern: Context and Time in Information Models (2000)
|
| |
In Understanding Computers and Cognition (1987)
|
| |
In The Algorithm Design Manual (1998)
|
| |
In Structure and Interpretation of Computer Programs (1984)
|
| |
In A Functional Pattern System for Object-Oriented Design (1999)
|
| |
In Interactive Programming Environments (1984)
|
| |
In Refactoring: Improving the Design of Existing Code (1999)
|
| |
In Visual Object-Oriented Programming (1995)
|
| |
In Exploring Logical Dynamics (1996)
|
| |
In Logic and Visual Information (1995)
|
| |
In Arrow Logic and Multi-Modal Logic (1996)
|
| |
In Partiality, Modality and Nonmonotonicity (1996)
|
| |
In Specifying Syntactic Structures (1997)
|
| |
In A Paradigm for Program Semantics: Power Structures and Duality (2001)
|
| |
In Algebras, Diagrams and Decisions in Language, Logic and Computation (2002)
|
| |
In Computing Natural Language (1998)
|
| |
In An Introduction to Substructural Logics (1999)
|
| |
In Information Flow : The Logic of Distributed Systems (1997)
|
| |
In Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (1996)
|
| |
In Language, Proof and Logic (1999)
|
| |
In Purely Functional Data Structures (1999)
|
| |
In Term Rewriting and All That (1998)
|
| |
In Solving Higher-Order Equations: From Logic to Programming (1997)
|
| |
In A Mathematical Theory of Communication (1948)
|
| |
In Categories for the Working Mathematician (1998)
|
| |
In Conceptual Mathematics: A First Introduction to Categories (1997)
|
| |
In A Shorter Model Theory (1997)
|
| |
In Introduction to Lattices and Order (2002)
|
| |
In Basic Model Theory (1996)
|
| |
In Programming Languages: Design and Implementation, Third Edition (1999)
|
| |
In Advanced Compiler Design and Implementation (1997)
|
| |
In Garbage Collection: Algorithms for Automatic Dynamic Memory Management (1996)
|
| |
In Principles of Compiler Design (1977)
|
| |
In Common Lisp: A Gentle Introduction to Symbolic Computation (1989)
|
| |
In On Lisp: Advanced Techniques for Common Lisp (1993)
|
| |
In The Way of Z: Practical Programming with Formal Methods (1997)
|
| |
In The interpretation of object-oriented programming languages (2000)
|
| |
In The Functional Approach to Programming with Caml (1998)
|
| |
In Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications (2000)
|
| |
In Starting Forth: An Introduction to the Forth Language and Operating System for Beginners and Professionals (1981)
|
