Language and Semantics

• Y. Feng, J. Liu: A Temporal Approach to Algebraic Specifications. In J.C.M.Baeten, J.W.Klop (eds.): Concur 90 (Theories of Concurrency: Unification and Extension). LNCS 458, 1990.
• J. Liu: A semantic Basis for Logic-Independent Transformations. In F. Orejas (eds.) Proc. of 9th WADT-COMPASS Workshop LNCS 785, 1994.

Development and System

• O. Traynor, J. Liu: The Development of Correct Programs by Specification and Transformation. In Proc. ICYCS Conference, Beijing. Juli 1991.
• B. Krieg-Brückner, E. Karlsen, J. Liu, O. Traynor: The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. In S. Prehn, W. Toetenel (eds.): VDM 91, Formal Software Development Methods; Vol. 2. LNCS 552, 1991.
• J. Liu, O. Traynor, B. Krieg-Brückner: Knowledge-Based Transformational Programming. In Proc. of 4th International Conference on Software Engineering and Knowledge Engineering. October 1992.
• J. Liu, O. Traynor, S. Lynenskjöld: Guided Tour of the PROSPECTRA System. (in [HB 94])
• B. Krieg-Brückner, J. Liu, B. Wolff, H. Shi: Towards Correctness, Efficiency and Reusability of Transformational Developments. In Proc. GI Tagung 1993, Springer.

Technical Reports

• J. Liu: A Modular Investigation of Type Systems (For Metalogical Systems). Korso technical report. (in [Kri 94])
• B. Krieg-Brückner, J. Liu, H. Shi, B. Wolff:
  Towards Correct, Efficient and Re-usable Transformational Developments. Technischer Bericht, FB3 Informatik, Universität Bremen. (in [Kri 94])
• Kolyang, B. Wolff, J. Liu:
  Transformational Development of the LEX Example. Technischer Bericht, FB3 Informatik, Universität Bremen. (in [Kri 94])

Dissertation

• J. Liu: Higher-Order Structured Presentation in a Logical Framework.

Bibliography

• [HB 94] B. Hoffmann, B. Krieg-Brückner (eds.): PROgram development by SPECification and TRAnsformation: Methodology -- Language Family -- System. LNCS 680, 1993.
• [Kri 94] B. Krieg-Brückner (ed.): Programmentwicklung durch Spezifikation und Transformation. Bremer Beiträge zum Verbundprojekt KORSO. Technischer Bericht 1/94, Universitat Bremen. 1994.

Junbo Liu, 4-1-1995