ALADIN: A Scanner Generator for Incremental Programming Environments.
A Comparison of Two Paradigms for Distributed Shared Memory.
Specification and Quality Assurance of Timing Constraints in Real-time Systems Development.
Hypertext Development Using a Model-based Approach.
Towards a Toolkit for Building Language Implementations.