Relational Theory of Computing

Formal models of stepwise refinements of programs

ACM Computing Surveys (CSUR)

Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II

Normal forms for binary relations

Theoretical Computer Science

Ampersand applying relation algebra in practice

RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science