On the logic of variable rules - Kay, Paul (University of California, 1977)