Blume 1828 - Enum. Pl. Javae 2: 224 (1828)
There is no corrections for Trichomanes javanicum var. javanicum yet.