A Functional Approach to Agent Development: Research Agenda | IEEE Conference Publication | IEEE Xplore