Ivan LaneseBooksTheoretical Computer ScienceFormal Techniques for Distributed Objects, Components, and SystemsReversible ComputationFormal Aspects of Component SoftwareAuthor data: Open Library