TY  - RPRT
TI  - A panorama of specification-like properties and their consequences
AU  - Dominik Kwietniak
AU  - Martha Łącka
AU  - Piotr Oprocha
PY  - 2015
UR  - https://arxiv.org/abs/1503.07355
ID  - 1503.07355
ER  -