A Hierarchical Microcomputer System for Hardware and Software Development. - C. V. Ravi; Torben Moller (ISCA, 1977)

Fundamental Realization Strategies for Multi-view Specification Environments. - Colin Atkinson 001; Christian Tunjic; Torben Moller (EDOC, 2015)