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