BibTex format
@article{Orchard:2017:10.1016/j.jlamp.2017.05.004,
author = {Orchard, D and Yoshida, N},
doi = {10.1016/j.jlamp.2017.05.004},
journal = {JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING},
pages = {1--1},
title = {Special Issue: PLACES 2016 foreword},
url = {http://dx.doi.org/10.1016/j.jlamp.2017.05.004},
volume = {90},
year = {2017}
}