Derivation of set and reset covers for gC elements and standard C implementation using STG unfoldings /
Khomenko, Victor.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : Computing Science, University of Newcastle upon Tyne,
c2005.
"September 2005."
Includes bibliographical references.