Barbu, Andreea (2005) Developing mobile agents through a formal approach. PhD, Universität Oldenburg.