@InProceedings{AehligMirandaOng04a,
  author =       {Aehlig, Klaus and Miranda, Jolie G de and Ong, C H Luke},
  title =        {Safety is Not a Restriction at Level Two for String Languages},
  booktitle =    {Foundations of Software Science and Computation Structures (FOSSACS '05)},
  pages = {490--504},
  crossref = {FOSSACS2005}
}



@proceedings{FOSSACS2005,
  editor    = {Vladimiro Sassone},
  booktitle =    {Foundations of Software Science and Computation Structures (FOSSACS '05)},
  title =    {Foundations of Software Science and Computation Structures (FOSSACS '05)},
  publisher = {Springer Verlag},
  series    = {Lecture Notes in Computer Science},
  volume    = 3441,
  year      = 2005,
  month =        apr
}