APA (7th ed.) Citation

Tomášek, M. Types for calculus of mobile code applications.

Chicago Style (17th ed.) Citation

Tomášek, Martin. Types for Calculus of Mobile Code Applications.

MLA (9th ed.) Citation

Tomášek, Martin. Types for Calculus of Mobile Code Applications.

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