Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages

@article{Hhnle2005ManyValuedLP,
  title={Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages},
  author={Reiner H{\"a}hnle},
  journal={Logic Journal of the IGPL},
  year={2005},
  volume={13},
  pages={415-433}
}
ion in Formal Specification