Differential refinement logic

@PHDTHESIS{Loos16,
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2015/CMU-CS-15-144.pdf},
	slides = {https://drive.google.com/file/d/0B7RBJEGwzag8UWN1SW9IZzR1WXZabXNRYXQ0Wk05cEpfNXVz},

  author    = {Loos, Sarah M.},
  school    = {Computer Science Department,
             School of Computer Science,
             Carnegie Mellon University},
  title     = {Differential Refinement Logic},
  year      = {2016},
  url       = {http://reports-archive.adm.cs.cmu.edu/anon/2015/CMU-CS-15-144.pdf},
}```