Differentiable manifolds with generalized boundary George Graham (1984) Czechoslovak Mathematical Journal