@techreport{Bisimulation,
  title = "Bisimulation and refinement reconciled",
  author = "A. W. Roscoe and C.A.R. Hoare and C. Fournet and P.H.B. Gardiner and R. Milner and S.Rajamani and J. Rehof",
  year = "2003",
  institution = "Microsoft",
}