Title: Programming languages and systems
Subjects: Congresses, Programmierparadigma, Programmiersprache, Computer programming, Formale Methode, Programming languages (Electronic computers), Programming languages (electronic computers)