@Article{Haehnle05a,
  author = 	 {Reiner H\"{a}hnle},
  title = 	 {Many-Valued Logic, Partiality, and Abstraction in Formal
  Specification Languages},
  journal = 	 {Logic Journal of the IPGL},
  year = 	 {2005},
  volume =	 {13},
  pages = {415--433},
  month = july,
  number =	 {4},
}