Masci, P., Curzon, P., Blandford, A., & Furniss, D. (2011). Modelling Distributed Cognition Systems in PVS. Electronic Communications of the EASST, 45. https://doi.org/10.14279/tuj.eceasst.45.653