Practical Refinement-Type Checking (1997)

by Rowan Davies, Frank Pfenning