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.
ibm.com
www-03.ibm.com
IBM Corporation (23 January 2003). "System/370 Model 158". IBM Archives. Archived from the original on March 11, 2005. Retrieved January 7, 2014.
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.
web.archive.org
IBM Corporation (23 January 2003). "System/370 Model 158". IBM Archives. Archived from the original on March 11, 2005. Retrieved January 7, 2014.