John Lake A Note on Modified Abstraction Principles. 77-78 1973 38 J. Symb. Log. 1 db/journals/jsyml/jsyml38.html#Lake73