Eerke A. Boiten, John Derrick, Steve Reeves. Editorial. Formal Asp. Comput., 26(2):195, 2014. [doi]
@article{BoitenDR14, title = {Editorial}, author = {Eerke A. Boiten and John Derrick and Steve Reeves}, year = {2014}, doi = {10.1007/s00165-014-0293-z}, url = {http://dx.doi.org/10.1007/s00165-014-0293-z}, researchr = {https://researchr.org/publication/BoitenDR14}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {26}, number = {2}, pages = {195}, }