AB3, AB3*, AB5 and AB5* are actually due to von Neumann, but Grothendieck's name stuck.
Template:Definition
Template:BookCat