Second implementation of lock. Support for deadlocks
Seminar document introduction
Seminar document introduction