Antonio Loría, Elena Panteley, Dobrivoje Popovic, Andrew R. Teel: An extension of Matrosov's theorem with application to stabilization of nonholonomic control systems. CDC 2002: 1528-1533