One Seventh as Pandigital Fraction/Historical Note

Historical Note on One Seventh using all 9 Digits
According to in his $1986$ work, this result may have appeared in an article by  in Volume 8 of , but it has proven difficult to find an archived copy to consult directly.