Gaya APA

A small model theorem for the hybrid μ-calculus . (2015). : .

Gaya MLA

A small model theorem for the hybrid μ-calculus . . : , 2015. Text.