THEMIS logic simulator - a mix mode, multi-level, hierarchical, interactive digital circuit simulator. - Mahesh H. Doshi; Roderick B. Sullivan; Donald M. Schuler (DAC, 1984)