Jensen, R.M. (1979). "A formal approach for communication between logically isolated virtual machines". IBM Systems Journal. 18 (1): 71–92. CiteSeerX10.1.1.91.1907. doi:10.1147/sj.181.0071.
psu.edu
citeseerx.ist.psu.edu
Jensen, R.M. (1979). "A formal approach for communication between logically isolated virtual machines". IBM Systems Journal. 18 (1): 71–92. CiteSeerX10.1.1.91.1907. doi:10.1147/sj.181.0071.