Title: FLINN-CAVIAR: A CASE STUDY IN SPECIFICATION