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 = {['Sarah M. Loos']},
	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}
}