MLA

Formal Aspects of Computing. UNITED STATES: Springer London, .

APA

formal Aspects of Computing. UNITED STATES: Springer London.

Chicago

Formal Aspects of Computing. UNITED STATES: Springer London.