CDL - A tool for concurrent hardware and software development. - J. Robert Heath; Bill D. Carroll; Terry T. Cwik (DAC, 1977)