APA (7th ed.) Citation

Parikh, R. (1978). A decidability result for a second order process logic. Mass. Inst. of Technology, Laboratory for Computer Science.

Chicago Style (17th ed.) Citation

Parikh, Rohit. A Decidability Result for a Second Order Process Logic. Cambridge, Mass: Mass. Inst. of Technology, Laboratory for Computer Science, 1978.

MLA (9th ed.) Citation

Parikh, Rohit. A Decidability Result for a Second Order Process Logic. Mass. Inst. of Technology, Laboratory for Computer Science, 1978.

Warning: These citations may not always be 100% accurate.