Menaa, Mohamed Nabih (2012) On the compositionality of round abstraction. Ph.D. thesis, University of Birmingham.