Parameterized Programming (1984)

by J A Goguen
Venue:IEEE Transactions on Software Engineering SE-IO