"Jan A. van Mieghem"