@article{ZVMMF_1972_12_6_a13,
     author = {V. S. Arolovich and V. M. Mikhelev},
     title = {An algorithm for the diagnosis of deadlocks},
     journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
     pages = {1543--1553},
     year = {1972},
     volume = {12},
     number = {6},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZVMMF_1972_12_6_a13/}
}