@article{MPD16a,
  author        = {S. Merz and J. Pang and J. S. Dong},
  title         = {Editorial (ICFEM 14 special issue, part I)},
  journal       = {Formal Aspects of Computing},
  year          = {2016},
  volume        = {28},
  number        = {3},
  pages         = {343-344}
}