Refinement Calculus, Lattices and Higher Order Logic

MLA

Ralph-Johan Back. Refinement Calculus, Lattices and Higher Order Logic. Jan. 1993. 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=edsair&AN=edsair.doi...........7278b5e604de9a1b25bccfe6890efc49&authtype=sso&custid=ns315887.

APA

Ralph-Johan Back. (1993). Refinement Calculus, Lattices and Higher Order Logic.

Chicago

Ralph-Johan Back. 1993. “Refinement Calculus, Lattices and Higher Order Logic,” January. 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=edsair&AN=edsair.doi...........7278b5e604de9a1b25bccfe6890efc49&authtype=sso&custid=ns315887.