Abstract data conversion by N. Verwer