Jeannette M. Wing, Mark R. Nixon. Extending Ina Jo with Temporal Logic. IEEE Trans. Software Eng., 15(2):181-197, 1989. [doi]
@article{WingN89, title = {Extending Ina Jo with Temporal Logic}, author = {Jeannette M. Wing and Mark R. Nixon}, year = {1989}, url = {http://www.computer.org/tse/ts1989/e0181abs.htm}, tags = {logic}, researchr = {https://researchr.org/publication/WingN89}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {15}, number = {2}, pages = {181-197}, }