Ideal Stream Algebra

B. Möller

published 1998 In B. Möller, J.V. Tucker (eds.): Prospects for hardware foundations, LNCS 1546.
pp. 69-116, 1998.
Springer-Verlag.