The Probability of Deadlock in a System of Many Processes and Many Multi-Unit Resources. [C.T.I. Technical Reports] TR 88.10.64 - Σπυράκης, Παύλος Γ. (Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute, 1988)