Ein prägnanter Sammelband des 13. Symposiums in Carlsbad, der die damals neuartigen Konzepte der theoretischen Informatik zusammenfasst und Einblicke in fortschrittliche Algorithmen sowie logische Strukturen bietet.