Experience with FS0 as a framework theory (1993)

by Sean Matthews, Alan Smaill, David Basin
Venue:Logical Environments