Operators for Space and Time in BeSpaceD
  In this report, we present some spatio-temporal operators for our BeSpaceD framework. We port operators known from functional programming languages such as filtering, folding and normalization on abstract data structures to the BeSpaceD specification language. We present the general ideas behind the operators, highlight implementation details and present some simple examples. 
Jan Olaf Blech and Keith Foster
cs.SE