PaperA Recursive Solution Method to Analyze the Performance of Static Locking SystemsAlexander Thomasian, In Kyung RyuIEEE Transactions on Software Engineering