Opacity generalised to transition systems /
Bryans, Jeremy W.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2004.
Includes bibliographical references.