Zeus: A hardware description language for VLSI. - Karl J. Lieberherr; Svend E. Knudsen (DAC, 1983)

Using independence to enable parallelism on multicore computers. - Svend E. Knudsen (Softw. Pract. Exp., 2011)