@MISC{SCMFSA6C.MIZ,
  AUTHOR = {Asamoto, Noriko and Nakamura, Yatsuka and Rudnicki, Piotr and Trybulec, Andrzej},
  TITLE = {On the Composition of Macro Instructions. {P}art {III}},
  NOTE = {This work was partially supported by NSERC Grant OGP9207
		  and NATO CRG 951368.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Parahalting and keeping 0 macro instructions},
  SECTION3 = {Semantics of compositions},
  SECTION4 = {An example: swap},
  DAY = {22},
  MONTH = {July},
  YEAR = {1996},
  ADDRESS1 = {Ochanomizu University\\Tokyo},
  ADDRESS2 = {Shinshu University\\Nagano},
  ADDRESS3 = {University of Alberta\\Edmonton},
  ADDRESS4 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {    This article is a continuation of \cite{SCMFSA6A.ABS} and
    \cite{SCMFSA6C.ABS}.  First, we recast the semantics of the
	macro composition in more convenient terms.
	Then, we introduce terminology and
	basic properties of macros constructed out of single instructions
	of ${\bf SCM}_{\rm FSA}$.  We give the complete semantics of composing a macro
	instruction with an instruction and for composing two machine
	instructions (this is also done in terms of macros).
	The introduced terminology is tested on the simple example
	of a macro for swapping two integer locations.}}

