More on nonregular PDL: expressive power, finite models, Fibonacci programs | IEEE Conference Publication | IEEE Xplore