Formal engineering for industrial software development using the SOFL method - Liu, Shaoying 1960- (New York Springer, 2004)
Keywords: Computer software -- Development; Formal methods (Computer science); Object-oriented programming (Computer science)