zbMATH link
Code ISNI : 0000 0000 8270 3076
Department of Computer Science University of Warwick HU
By Norbert Müller