Implementation of a system description by Reeuwyk