- Business Process Technology: A Unified View On Business Processes, Workflows And Enterprise Applications
- Form-Oriented Analysis: A New Methodology to Model Form-Based Applications
- Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
- Form-Oriented Analysis
- Business Process Technology: A Unified View on Business Processes, Workflows and Enterprise Applications