W. Müller and B. Kleinjohann, “Tight Integration and Synchronization of Distributed Graphical Applications,” 1993.

W. Müller, “Approaching the Denotational Semantics of Behavioral VHDL Descriptions,” 1993.

W. Müller, G. Lehrenfeld, and N. Wiechers, “Parallel Validation of STEP Files,” 1993.

W. Müller and B. Kleinjohann, “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments,” 1992.

W. Müller, “Contract-Oriented System Design and Specification,” 1991.

G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.

F. J. Rammig and W. Müller, “ODICE: Object-Oriented Hardware Description in CAD Environment,” 1989.