@InProceedings{Couto&16a,
  Title                    = {{Principles for Reuse in Formal Language Tools}},
  Author                   = {Couto, Lu\'{\i}s Diogo and Tran-J{\o}rgensen, Peter W V and Lausdahl, Kenneth},
  Booktitle                = {31st ACM Symposium on Applied Computing},
  Year                     = {2016},
month = {April},
}

%G OVERTURE TEMPOPUB VDM

{"_id":"Brwq7YTqv8AcaXDZL","bibbaseid":"couto-tranjrgensen-lausdahl-principlesforreuseinformallanguagetools-2016","author_short":["Couto, L. D.","Tran-Jørgensen, P. W V","Lausdahl, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Principles for Reuse in Formal Language Tools","author":[{"propositions":[],"lastnames":["Couto"],"firstnames":["Luís","Diogo"],"suffixes":[]},{"propositions":[],"lastnames":["Tran-Jørgensen"],"firstnames":["Peter","W","V"],"suffixes":[]},{"propositions":[],"lastnames":["Lausdahl"],"firstnames":["Kenneth"],"suffixes":[]}],"booktitle":"31st ACM Symposium on Applied Computing","year":"2016","month":"April","bibtex":"@InProceedings{Couto&16a,\n Title = {{Principles for Reuse in Formal Language Tools}},\n Author = {Couto, Lu\\'{\\i}s Diogo and Tran-J{\\o}rgensen, Peter W V and Lausdahl, Kenneth},\n Booktitle = {31st ACM Symposium on Applied Computing},\n Year = {2016},\nmonth = {April},\n}\n\n%G OVERTURE TEMPOPUB VDM\n","author_short":["Couto, L. D.","Tran-Jørgensen, P. W V","Lausdahl, K."],"key":"Couto&16a","id":"Couto&16a","bibbaseid":"couto-tranjrgensen-lausdahl-principlesforreuseinformallanguagetools-2016","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","dataSources":["o4zfqwm7cQsSnyzzT","HtWEJcCHFxSnPZdyr","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj","maALzmZwmtEEh8pXx"],"keywords":[],"search_terms":["principles","reuse","formal","language","tools","couto","tran-jørgensen","lausdahl"],"title":"Principles for Reuse in Formal Language Tools","year":2016}