( a ) , J . Björner ( a ) , E. Lené , C.