Executable Specifications with Quantifiers in the FASE System. - Stan Jefferson; Samuel N. Kamin (POPL, 1986)