zbMath0297.68015MaRDI QIDQ4051568
Volker Claus
Publication date: 1973
Mathematics Subject Classification ID
General topics in the theory of software (68N01)