Volume 23, Number 1, October 1994
Volume 23, Numbers 2-3, December 1994
Selected Papers of the Colloquium on Formal Approaches of Software Engineering (A Colloquium of TAPSOFT 1993
, Orsay, France, April 1993)
: Composition of Assumption-Commitment Specifications in a UNITY Style.
: Principal Type Schemes for Functional Programs with Overloading and Subtyping.