@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