Related resources for Harrison Logic