R.  Guidotti and Rossetti, G., ??Know Thyself? How Personal Music Tastes Shape the Last. Fm Online Social Network?, in International Symposium on Formal Methods, 2019.