Matthews, S., Smaill, A., & Basin, D. (1993). Experience with FS_0 as a Framework Theory. In G., Huet, & G., Plotkin (Eds.), Logical Environments (pp. 61-82). Cambridge, UK: Cambridge University Press.