Somebody once had a hobby project of a stack-based language called V. Can't find it now. I don't think anybody could use Z, since the Z formal notation is too

Somebody once had a hobby project of a stack-based language called V. Can't find it now. I don't think anybody could use Z, since the Z formal notation is too well known.