Silva, José-Luis, et al. “Analysis of WIMP and Post WIMP Interactive Systems Based on Formal Specification”. Electronic Communications of the EASST, vol. 69, Nov. 2014, doi:10.14279/tuj.eceasst.69.967.