Index of /~haarslev/publications/jvlc92