On mixed computation: Informal account of the strict and polyvariant computational schemes (1984)

by Andrei P Ershov
Venue:Control Flow and Data Flow: Consepts of Distributed Programming