TGI Fridays tests food and alcohol delivery serviceRajeev Alur Vijay Kumar Insup LeeR A LASTING CARlwrap for Command Line History and Editing in SQL Plus