A proposed interface logic for veri environments (1991)

by J D Guttman