@InProceedings{dovland08fm,
  author =	 {Johan Dovland and Einar Broch Johnsen and Olaf Owe
                  and Martin Steffen},
  title =	 {Lazy Behavioral Subtyping},
  booktitle =	 {Proc. 15th International Symposium on 
                  Formal Methods ({FM}'08)},
  editor =       {Jorge Cuellar and Tom Maibaum},
  series =	 {Lecture Notes in Computer Science},
  volume =	 5014,
  publisher =	 {Springer-Verlag},
  pages =        {52--67},
  year =	 2008,
  month =        may,
}