Cristian Calude Elena Calude The Bridge Crossing Problem. 180-190 2002 77 Bulletin of the EATCS db/journals/eatcs/eatcs77.html#CaludeC02