Selected Publications by Mark Craven