Ein Sammelband der 20. IFIP WG 1.02-Konferenz in Halifax, der die Komplexität von formalen Beschreibungen untersucht, neue theoretische Modelle vorstellt und deren Auswirkungen auf Logik und Informatik analysiert.