Jung, Ralf Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
arXiv:1701.05888.pdf (Preprint), 732KB
Tassarotti, J., Jung, R., & Harper, R. (2017). A Higher-Order Logic for Concurrent Termination-Preserving Refinement. Retrieved from http://arxiv.org/abs/1701.05888.