A functional language for description and design of digital systems: sequential constructs. - F. Meshkinpour; Milos D. Ercegovac (DAC, 1985)