Publications by authors named "Craig A Backous"