@techreport{weko_26661_1,
   author	 = "MasakiNakagawa",
   title	 = "SPECIFYING THE UNDERLYING CONTROL STRUCTURES OF PROGRAMMING LANGUAGES IN THEIR DENOTATIONAL SEMANTICS",
   year 	 = "1980",
   institution	 = "Tokyo University of Agriculture and Technology",
   number	 = "5(1980-OS-009)",
   month	 = "jun"
}