2 works on record
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
Nonstandard Methods and Applications in Mathematics