Publications by authors named "Steve Sussman"