FLINN-CAVIAR: A CASE STUDY IN SPECIFICATION.
Language: eng