Per Year
- Equivalences, congruences, and complete axiomatizations for probabilistic processes (paper in proceedings) — Chi-Chang Jou, Scott A. Smolka
- The GAMMA Model and its Discipline of Programming (article in journal) — Jean-Pierre Banâtre, Daniel Le Métayer
- IEEE Standard Glossary of Software Engineering Terminology (technical report) — IEEE Standard Board
- What is Intention? (book chapter) — Michael E. Bratman, Andrea Roli
- Testing Equivalences and Fully Abstract Models for Probabilistic Processes (paper in proceedings) — Ivan Christoff
- Concepts and Paradigms of Object-oriented Programming (article in journal) — Peter Wegner