Masci, P. (2011) “Modelling Distributed Cognition Systems in PVS”, Electronic Communications of the EASST, 45. doi: 10.14279/tuj.eceasst.45.653.