A Semigroup Associated with an Invariant Measure on a Transformation Group. - Gary Laison (Math. Syst. Theory, 1975)

A Multiple-Stack Manipulation Procedure. - James F. Korsh; Gary Laison (Commun. ACM, 1983)