System design from provably correct constructs - Martin, James (Englewood Cliffs, N.J. Prentice-Hall, 1985)
Keywords: Software engineering; System design