Current Trends in Programming Methodology: Software Modeling

Arthur Charles Fleck , K. Mani Chandy