@techreport
	{
	BMM08,
	author			=	"Alessandro Bianco and Fabio Mogavero and Aniello Murano",
	title				=	"{Graded Computation Tree Logic.}",
	institution	=	"University of Naples ``Federico II'', Italy",
	number			=	"21",
	month				=	"April",
	year				=	"2008"
	}