@book{korth_1981, 
  title={The Optimal Locking Problem in a Directed Acyclic Graph,}, 
  DOI={10.21236/ada324623}, 
  institution={Defense Technical Information Center}, 
  author={Korth}, 
  year={1981}, 
  month={Mar}
  }