Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Jg. 1980, S. 279-294Synthesis related aspects of simulation
In: The synthesis approach to digital system design, Jg. 1992, S. 303-334System level design
In: Fundamentals and standards in hardware description languages, Jg. 1993, S. 109-151