Parameterized programming - Goguen, Joseph; Stanford University. Center for the Study of Language and Information (Report (Center for the Study of Language and Information (U.S.)), 1984)