Structured Abstract Schematics. - Derrick Morris; Colin J. Theaker; P. B. Whitehead (Comput. J., 1988)