Parameterized Programming (1984)

by Joseph A Goguen
Venue:IEEE Transactions on Software Engineering