Applications and extensions of SADT (1985)

by T R Ross
Venue:IEEE Computer