Title: Discrete mathematics, formal methods, the Z schema, and the software life cycle
Subjects: Product life cycle, Computer software