Silva, J.-L. (2014) “Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification”, Electronic Communications of the EASST, 69. doi: 10.14279/tuj.eceasst.69.967.