On Minimum Cost Recovery from System Deadlock. - Joseph Y.-T. Leung; Edmund K. Lai (IEEE Trans. Computers, 1979)