An extended notion of refinement-unbound
β
William D. L. Appling
π
Article
π
1968
π
Springer Vienna
π
English
β 366 KB