Formal modeling: actors, open systems, biological systems : essays… by Talcott, Carolyn L., Agha, Gul A., Danvy, Olivier, Meseguer, José fromLecture Notes in Computer Science 0 Type: Book
