Анналы Ульстера
The "Annals of Ulster" and the "Chronicon Scotorum" record Tigernach's death under the entry for 1088.