Publications by authors named "Ernest J F Franken"