Title: Abstract Compositional Analysis of Iterated Relations
Subjects: System analysis, Electronic data processing, Structured techniques, Abstract data types (Computer science)