Text (hand-written)

Archive IFIP Working Conference "Program Specification and Transformation"

Text (hand-written)

Text (hand-written)

on mixed computation semantics

Date:

17.01.1986

Authors:

Andrei Petrovich Ershov