Bibliography

Research Interests

• Books, Special Issues
• Recent Talks
• List of Publications
• Further information on recent papers

• Formal Methods in Software Engineering
• Semantics of Programming Languages
• Relational Methods in Computer Science
• Graph Theory in Computer Science
• Relational Mathematics
• Member of the Editorial Board of the
  Electronic Journal on Relational Methods
  in Computer Science - JoRMiCS