Simon J. Gay Malcolm Hole Subtyping for session types in the pi calculus. 191-225 2005 42 Acta Inf. 2-3 http://dx.doi.org/10.1007/s00236-005-0177-z db/journals/acta/acta42.html#GayH05