Construction and Analysis of Transition Systems with Mec - Arnold A Et Al (World Scientific, 1994)
Keywords: Computer Science