Alessandro Fantechi Stefania Gnesi Gianluca Mazzarini How Expressive Are LOTOS Behaviour Expressions? 17-32 1990 conf/forte/1990 FORTE db/conf/forte/forte1990.html#FantechiGM90