Theoretical Computer Science door A. Restivo & S. Rocca