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.