Machine generated authority record.

Work cat.: (UQROO)68966: Sannella, Donald. author., Foundations of Algebraic Specification and Formal Software Development