Title: Postulation, Elaboration and Application of Extraabstract Languages 2nd Edition