Reference: M. Weiglhofer and B. K. Aichernig.
Unifying input output conformance.
In UTP'08: Proceedings of the 2nd international
conference on Unifying theories of programming, pages 181-201, Berlin,
Heidelberg, 2010. Springer-Verlag.
www-data,
2020-09-10