@techreport{weko_22176_1,
   author	 = "Mikko,Tiusanen and Tadao,Murata",
   title	 = "Graph Models for Static Analysis of Ada Tasking Programs",
   year 	 = "1992",
   institution	 = "University of Illinois at Chicago, University of Illinois at Chicago",
   number	 = "59(1992-SE-086)",
   month	 = "jul"
}