TY  - BOOK
AU  - Rohit Gheyi
TI  - An idiom to represent data types in Alloy
PY  - 2017///
KW  - Data types; Alloy
N1  - CJ0029
ER  -