rohit Parikh. (1985). Logics of programs. Springer-Verlag.
Chicago Zitierstilrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
MLA Zitierstilrohit Parikh. Logics of Programs. Springer-Verlag, 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.