GENERIC SPECIFICATION FOR