Cite
Deriving a Simple Gradual Security Language
MLA
Garcia, Ronald, and Éric Tanter. Deriving a Simple Gradual Security Language. 2015. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.1511.01399&authtype=sso&custid=ns315887.
APA
Garcia, R., & Tanter, É. (2015). Deriving a Simple Gradual Security Language.
Chicago
Garcia, Ronald, and Éric Tanter. 2015. “Deriving a Simple Gradual Security Language.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.1511.01399&authtype=sso&custid=ns315887.