@article{MPD16b,
  author        = {S. Merz and J. Pang and J. S. Dong},
  title         = {Editorial (ICFEM 14 special issue, part II)},
  journal       = {Formal Aspects of Computing},
  year          = {2016},
  volume        = {28},
  number        = {5},
  pages         = {723-724}
}