APA-viite (7. p.)

Fisher, M., & Owens, R. Executable modal and temporal logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings. Springer.

Chicago-viite (17. p.)

Fisher, Michael, ja Richard Owens. Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993 : Proceedings. Berlin [etc.]: Springer.

MLA-viite (8. p.)

Fisher, Michael, ja Richard Owens. Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993 : Proceedings. Springer.