@InProceedings{Cervesato01mmm,
  title        = "{Typed MSR: Syntax and Examples}",
  author       = "Iliano Cervesato",
  booktitle    = "First International Workshop on Mathematical Methods, 
                  Models and Architectures for Computer Networks Security --- 
                  MMM'01",
  pages        = "159--177",
  editor       = "V.I. Gorodetski and V.A. Skormin and L.J. Popyack",
  address      = "St. Petersburg, Russia",
  publisher    = "Springer-Verlag LNCS 2052",
  year         = "2001",
  month        = "21--23 May"
}