Title: Rekursivno perechislimye mnozhestva i svodimosti tablichnogo tipa
First published: 1998
LC classification: MLCS 2003/05927