APA (7th ed.) Citation

Barbosa, L. S., & Sun, M. (2009). A coalgebraic semantic framework for reasoning about interaction designs.

Chicago Style (17th ed.) Citation

Barbosa, L. S., and Meng Sun. A Coalgebraic Semantic Framework for Reasoning About Interaction Designs. 2009.

MLA (8th ed.) Citation

Barbosa, L. S., and Meng Sun. A Coalgebraic Semantic Framework for Reasoning About Interaction Designs. 2009.

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