A Language of Refinements (1994)

by Trevor Vickers , Paul Gardiner
Citations:5 - 2 self