@misc{weko_122471_1,
   title	 = "A Lock Monitor for a Shared Memory Multiprocessor Operating System",
   month	 = "sep",
   year 	 = "1992"
}