@misc{miscbdeb1e86,
title   = {A study on the potential active names of π-agents},
author = {Melo, Ana Cristina Vieira de},
year = {2004},
doi = {10.1016/S1571-0661(04)05025-X},
booktitle   = {Brazilian Workshop on Formal Methods - WMF}
}