View abstraction for systems with component identities (FM 2018, 2018)

(untitled) - Lowe, G