"Theoretical Computer Science, Volume 340, Issue 2, Pages 179-456 (27 June 2005), The Art of Theory" - читать интересную книгу автора (A. de Luca, F. Mignosi, D. Perrin, G. Rozenberg (eds.))