A functional level modelling language for digital simulation. - P. J. DesMarais; E. S. Y. Shew; Philip S. Wilcox (DAC, 1982)