Boute, RaymondRaymondBoute2021-10-162021-10-162005https://imec-publications.be/handle/20.500.12860/10141Functional declarative language design and predicate calculus: a practical approachJournal article