@MISC{SCM_INST.MIZ,
  AUTHOR = {Nakamura, Yatsuka and Trybulec, Andrzej},
  TITLE = {On a Mathematical Model of Programs -- Preliminaries},
  DAY = {29},
  MONTH = {December},
  YEAR = {1992},
  ADDRESS1 = {Shinshu University, Nagano, Japan},
  ADDRESS2 = {University of Bialystok, Bialystok, Poland},
  SUMMARY = {}}


