Editor's Note: The following article is based on a paper that appeared in FORTE 93. The editor felt that a brief summary of that paper would be generally welcome.
