1. Lecture Notes in Computer Science;K Abrahamson,1979
2. Balbiani, P., Boudou, J.: Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization, J. Logic Comput. (2015)
3. Balbiani, P., Tinchev, T.: Definability and computability for PRSPDL. In: Advances in Modal Logic, pp. 16–33. College Publications (2014)
4. Benevides, M.R.F., de Freitas, R.P., Viana, J.P.: Propositional dynamic logic with storing, recovering and parallel composition. ENTCS 269, 95–107 (2011)
5. Brochenin, R., Demri, S., Lozes, É.: Reasoning about sequences of memory states. Ann. Pure Appl. Logic 161(3), 305–323 (2009)