Defining Behaviours by Quasi-finality

From MaRDI portal
Publication:3651283