Type Interference in Stack Based Languages. - Bill Stoddart; Peter J. Knaggs (Formal Aspects Comput., 1993)

Practical and theoretical aspects of FORTH software development. - Peter J. Knaggs (1993)