Enum. Pl. Javae 27, 1827. 1827, p. 27.