A substantial portion of the mathematical backbone to this approach is drawn from 'Australian category theory', most notably from work by Max Kelly and M. L. Laplaza, Andre Joyal and Ross Street, A. Carboni and R. F. C. Walters, and Steve Lack. Modern textbooks include C ategories for quantum theory and Picturing quantum processes.