CAVIAR: a case study in specification