Publications by authors named "John Stephen Choi"