@MISC{SCMFSA_9.MIZ,
  AUTHOR = {Chen, Jing-Chao},
  TITLE = {While Macro Instructions of {\SCMFSA}},
  ACKNOWLEDGEMENT = {The author wishes to thank Prof. Andrzej Trybulec and
Dr. Grzegorz Bancerek for their helpful comments and encouragement
during his stay in Bia{\l}ystok.},
  DAY = {10},
  MONTH = {December},
  YEAR = {1997},
  ADDRESS1 = {Shanghai Jiaotong University\\Shanghai},
  SUMMARY = {The article defines {\em while macro instructions} based on \SCMFSA.
Some theorems about the generalized halting problems of {\em while
macro instructions} are proved.}}

