Andrzej S. Murawski

Foundations of Software Science and Computation Structures