@Article{tcs06,
  author = 	 {C.J.F. Cremers and S. Mauw and Vink, E.P. de},
  title = 	 {Injective synchronisation: An extension of the authentication
                  hierarchy},
  journal = 	 {Theoretical Computer Science},
  volume = 	 {367},
  year = 	 {2006},
  pages = 	 {139--161}
}