@PhdThesis{BetPhd,
  author =       {L.~Bettini},
  title =        {{Linguistic Constructs for Object-Oriented Mobile Code Programming \& their Implementations}},
  school =       {Dip.\ di Matematica, Universit\`a di Siena},
  year =         2003,
  note =         {Available at \texttt{http://music.dsi.unifi.it}}
}