Международный симпозиум "Математические основы информатики" (MFCS-86)