A system for transformationally deriving programs (1982)

by M FEATHER
Venue:IEEE Transactions on Software Engineering SE-11