JID:SCICO AID:1816 /FLA [m3G; v 1.137; Prn:22/09/2014; 11:22] P.1 (1-38) Science of Computer Programming ••• (••••) •••–••• Contents lists available…
