A tour through Cedar (1985)

by Warren Teitelman
Venue:IEEE Transactions on Software Engineering