Søkte etter:

1 treff

Iteration theories : the equational logic of iterative processes
Stephen L. Bloom, Zoltán Ésik
Bok Engelsk 1993