A pascal based design tool for digital systems. - A. J. Beames (1983)