G . Dahlman , J . Björner och A.