A specification language for digital systems. - Peter Blackledge (1982)