P. M. Yelland
Univ. of Cambridge, Cambridge, UK
An algebra approach to the deduction of data flow diagrams and object oriented diagrams from a set of specifications
ACM SIGPLAN OOPS Messenger
An algebra approach to the deduction of data flow diagrams and object oriented diagrams from algebraic specifications
ACM SIGSOFT Software Engineering Notes