APA (7th ed.) Citation

Rudnicki, P., & Drabent, W. (1983). Proving properties of Pascal programs in MIZAR 2.

Chicago Style (17th ed.) Citation

Rudnicki, Piotr, and Włodzimierz Drabent. Proving Properties of Pascal Programs in MIZAR 2. Warsaw, 1983.

MLA (9th ed.) Citation

Rudnicki, Piotr, and Włodzimierz Drabent. Proving Properties of Pascal Programs in MIZAR 2. 1983.

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