Johnson M. Hart: Ambiguity and Decision Problems for Local Adjunct Languages. J. Comput. Syst. Sci. 8(1): 8-21 (1974)