Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs, Murat M. Tanik, Bernd J. Krämer. Languages for the specification of software. Journal of Systems and Software, 32(3):269-308, 1996. [doi]
@article{CookeGDDTK96, title = {Languages for the specification of software}, author = {Daniel E. Cooke and Ann Q. Gates and Elif Demirörs and Onur Demirörs and Murat M. Tanik and Bernd J. Krämer}, year = {1996}, doi = {10.1016/0164-1212(95)00071-2}, url = {http://dx.doi.org/10.1016/0164-1212(95)00071-2}, researchr = {https://researchr.org/publication/CookeGDDTK96}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {32}, number = {3}, pages = {269-308}, }