A Language of Refinements (1994)

by Trevor Vickers , Paul Gardiner
Citations:4 - 1 self