ASL: a proposed variant of SETL preliminary - Warren, H. S. (New York Univ., Courant Inst. of Math. Sciences, 1973)
Grant No.: NSF-GJ-1202X2