Notes on Type Abstraction (Version 2).

MLA

Guttag, John. “Notes on Type Abstraction (Version 2).” IEEE Transactions on Software Engineering, vol. 6, no. 1, Jan. 1980, pp. 13–23. 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=asx&AN=14403905&authtype=sso&custid=ns315887.

APA

Guttag, J. (1980). Notes on Type Abstraction (Version 2). IEEE Transactions on Software Engineering, 6(1), 13–23.

Chicago

Guttag, John. 1980. “Notes on Type Abstraction (Version 2).” IEEE Transactions on Software Engineering 6 (1): 13–23. 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=asx&AN=14403905&authtype=sso&custid=ns315887.