Obtarcia, zarysowania, zadarcia, zagniecenia okładek, przykurzenia, podpis właścicielski.

,,W książce omówiono sposoby formalnego opisu języków przy użyciu technik semantyki denotacyjnej. Przedstawiono w niej techniki wystarczające do opisu Algolu 60, Pascala i innych podobnych języków."