Verfahren zur Logiksimulation komplexer digitaler Schaltungen mit flexibler Modellierung - Krodel, Hans Thomas (Technická univerzita, 1989)