Lispflows: specification of a model for functional programs | IEEE Conference Publication | IEEE Xplore