& N . Björner.