@conference {1376,
	title = {{\textquotedblleft}Know Thyself{\textquotedblright} How Personal Music Tastes Shape the Last. Fm Online Social Network},
	booktitle = {International Symposium on Formal Methods},
	year = {2019},
	publisher = {Springer},
	organization = {Springer},
	author = {Riccardo Guidotti and Giulio Rossetti}
}
