Title: The specification of abstract mappings and their implementation as B¿-trees