-
Detonacyjny opis języków programowania
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."