Cory, W. E. "Symbolic simulation for functional verification with ADLIB and SDL" Proceedings of the 18th Annual ACM IEEE Design Automation Conference Nashville, Tennessee, United States 1981 pp82-89

Languages mentioned

• ADLIB {1980} Superset of PASCAL with concurrency
• SDL {1977} Structural Design Language