@mastersthesis{PaakkonenMsc,
author = {P\"a\"akk\"onen, Rauni},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
title = {Implementing a Formal Agent Description Language},
year = {2001},
}