Informasi yang berkaitan dengan fr/Logique Burrows–Abadi–Needham