Peter Sewell, Jan Vitek. Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality. Journal of Computer Security, 11(2):135-188, 2003.
@article{SewellV03, title = {Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality}, author = {Peter Sewell and Jan Vitek}, year = {2003}, tags = {composition}, researchr = {https://researchr.org/publication/SewellV03}, cites = {0}, citedby = {0}, journal = {Journal of Computer Security}, volume = {11}, number = {2}, pages = {135-188}, }