nastro nero
Università degli Studi di Padova

Program semantics and theory of computing