A mathematical toolbox for software architect (1996)

by J L Fiadeiro, T Maibaum
Venue:In: Proc. 8th Int. Workshop on Software Sepcification and Design, IEEE Computer Science