%0 Journal Article %1 journals/mst/FerreiraLM12 %A Ferreira, Fernando %A Löwe, Benedikt %A Mayordomo, Elvira %D 2012 %J Theory Comput. Syst. %K dblp %N 3 %P 267-269 %T Programs, Proofs, Processes. %U http://dblp.uni-trier.de/db/journals/mst/mst51.html#FerreiraLM12 %V 51

@article{journals/mst/FerreiraLM12, added-at = {2019-12-10T00:00:00.000+0100}, author = {Ferreira, Fernando and Löwe, Benedikt and Mayordomo, Elvira}, biburl = {https://www.bibsonomy.org/bibtex/2496ce7d2d8788ef8086c1f877817161b/dblp}, ee = {https://www.wikidata.org/entity/Q60578959}, interhash = {d02db4b7b57f3c2d4c85f6b1a2a529ad}, intrahash = {496ce7d2d8788ef8086c1f877817161b}, journal = {Theory Comput. Syst.}, keywords = {dblp}, number = 3, pages = {267-269}, timestamp = {2019-12-11T11:38:44.000+0100}, title = {Programs, Proofs, Processes.}, url = {http://dblp.uni-trier.de/db/journals/mst/mst51.html#FerreiraLM12}, volume = 51, year = 2012 }