Selected references David G. Cantor. On the ambiguity problem of Backus systems. Journal of the ACM, 9(4):477-479, October 1962.