Relational algebra as formalism for hardware design. - A. J. W. M. ten Berg; Corrie Huijs; Th. Krol (Microprocess. Microprogramming, 1993)